cfg for a^i b^j c^k